Defining integer-valued functions in rings of continuous definable functions over a topological field

Integer-valued definable functions

We present a dichotomy, in terms of growth at infinity, of analytic functions definable in the real exponential field which take integer values at natural number inputs. Using a result concerning the density of rational points on curves definable in this structure, we show that if a function f : [0,∞) → R is such that f(N) ⊆ Z, then either sup|x̄|≤r f(x̄) grows faster than exp(r), for some δ > 0,...

Integer-valued continuous functions

© Bulletin de la S. M. F., 1969, tous droits réservés. L’accès aux archives de la revue « Bulletin de la S. M. F. » (http://smf. emath.fr/Publications/Bulletin/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impress...

Countable composition closedness and integer-valued continuous functions in pointfree topology

‎For any archimedean$f$-ring $A$ with unit in whichbreak$awedge‎ ‎(1-a)leq 0$ for all $ain A$‎, ‎the following are shown to be‎ ‎equivalent‎: ‎ ‎1‎. ‎$A$ is isomorphic to the $l$-ring ${mathfrak Z}L$ of all‎ ‎integer-valued continuous functions on some frame $L$‎. 2‎. ‎$A$ is a homomorphic image of the $l$-ring $C_{Bbb Z}(X)$‎ ‎of all integer-valued continuous functions‎, ‎in the usual se...

Generalized Rings of Measurable and Continuous Functions

This paper is an attempt to generalize, simultaneously, the ring of real-valued continuous functions and the ring of real-valued measurable functions.

Rings of functions with integer derivatives at x=1